[XEN] Remove VALID_MFN(); replace uses with mfn_valid().
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Mon, 27 Nov 2006 17:48:24 +0000 (17:48 +0000)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Mon, 27 Nov 2006 17:48:24 +0000 (17:48 +0000)
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/hvm/svm/svm.c
xen/arch/x86/hvm/vmx/vmx.c
xen/arch/x86/mm.c
xen/include/asm-x86/mm.h
xen/include/asm-x86/shadow.h

index 546c66f9fae75c7de0e4351162d421fa12a43eb2..cfcd4293c2b34b9b17a8ef15b91d438b67e4c891 100644 (file)
@@ -1457,7 +1457,7 @@ static int svm_set_cr0(unsigned long value)
     {
         /* The guest CR3 must be pointing to the guest physical. */
         mfn = get_mfn_from_gpfn(v->arch.hvm_svm.cpu_cr3 >> PAGE_SHIFT);
-        if ( !VALID_MFN(mfn) || !get_page(mfn_to_page(mfn), v->domain))
+        if ( !mfn_valid(mfn) || !get_page(mfn_to_page(mfn), v->domain))
         {
             gdprintk(XENLOG_ERR, "Invalid CR3 value = %lx (mfn=%lx)\n", 
                      v->arch.hvm_svm.cpu_cr3, mfn);
@@ -1642,7 +1642,7 @@ static int mov_to_cr(int gpreg, int cr, struct cpu_user_regs *regs)
              */
             HVM_DBG_LOG(DBG_LEVEL_VMMU, "CR3 value = %lx", value);
             mfn = get_mfn_from_gpfn(value >> PAGE_SHIFT);
-            if ( !VALID_MFN(mfn) || !get_page(mfn_to_page(mfn), v->domain))
+            if ( !mfn_valid(mfn) || !get_page(mfn_to_page(mfn), v->domain))
                 goto bad_cr3;
 
             old_base_mfn = pagetable_get_pfn(v->arch.guest_table);
@@ -1672,7 +1672,7 @@ static int mov_to_cr(int gpreg, int cr, struct cpu_user_regs *regs)
 #if CONFIG_PAGING_LEVELS >= 3
                 unsigned long mfn, old_base_mfn;
                 mfn = get_mfn_from_gpfn(v->arch.hvm_svm.cpu_cr3 >> PAGE_SHIFT);
-                if ( !VALID_MFN(mfn) || 
+                if ( !mfn_valid(mfn) || 
                      !get_page(mfn_to_page(mfn), v->domain) )
                     goto bad_cr3;
 
index 2ddb3610f8d5f044a26f543f9dab05608ceb0925..15614608fc6c638e9e05fc5fb706d0e3a73f5b29 100644 (file)
@@ -1203,7 +1203,7 @@ static int vmx_world_restore(struct vcpu *v, struct vmx_assist_context *c)
          */
         HVM_DBG_LOG(DBG_LEVEL_VMMU, "CR3 c->cr3 = %x", c->cr3);
         mfn = get_mfn_from_gpfn(c->cr3 >> PAGE_SHIFT);
-        if ( !VALID_MFN(mfn) || !get_page(mfn_to_page(mfn), v->domain) )
+        if ( !mfn_valid(mfn) || !get_page(mfn_to_page(mfn), v->domain) )
             goto bad_cr3;
         old_base_mfn = pagetable_get_pfn(v->arch.guest_table);
         v->arch.guest_table = pagetable_from_pfn(mfn);
@@ -1389,7 +1389,7 @@ static int vmx_set_cr0(unsigned long value)
          * The guest CR3 must be pointing to the guest physical.
          */
         mfn = get_mfn_from_gpfn(v->arch.hvm_vmx.cpu_cr3 >> PAGE_SHIFT);
-        if ( !VALID_MFN(mfn) || !get_page(mfn_to_page(mfn), v->domain) )
+        if ( !mfn_valid(mfn) || !get_page(mfn_to_page(mfn), v->domain) )
         {
             gdprintk(XENLOG_ERR, "Invalid CR3 value = %lx (mfn=%lx)\n",
                      v->arch.hvm_vmx.cpu_cr3, mfn);
@@ -1599,7 +1599,7 @@ static int mov_to_cr(int gp, int cr, struct cpu_user_regs *regs)
              */
             HVM_DBG_LOG(DBG_LEVEL_VMMU, "CR3 value = %lx", value);
             mfn = get_mfn_from_gpfn(value >> PAGE_SHIFT);
-            if ( !VALID_MFN(mfn) || !get_page(mfn_to_page(mfn), v->domain) )
+            if ( !mfn_valid(mfn) || !get_page(mfn_to_page(mfn), v->domain) )
                 goto bad_cr3;
             old_base_mfn = pagetable_get_pfn(v->arch.guest_table);
             v->arch.guest_table = pagetable_from_pfn(mfn);
@@ -1627,7 +1627,7 @@ static int mov_to_cr(int gp, int cr, struct cpu_user_regs *regs)
 #if CONFIG_PAGING_LEVELS >= 3
                 unsigned long mfn, old_base_mfn;
                 mfn = get_mfn_from_gpfn(v->arch.hvm_vmx.cpu_cr3 >> PAGE_SHIFT);
-                if ( !VALID_MFN(mfn) ||
+                if ( !mfn_valid(mfn) ||
                      !get_page(mfn_to_page(mfn), v->domain) )
                     goto bad_cr3;
 
index b87bc97c5ba78863d6c5898f106e0b9c11af18b3..6980960a71c01702eae0a6dfb775e4b473d471fe 100644 (file)
@@ -431,7 +431,7 @@ int map_ldt_shadow_page(unsigned int off)
 
     gmfn = l1e_get_pfn(l1e);
     mfn = gmfn_to_mfn(d, gmfn);
-    if ( unlikely(!VALID_MFN(mfn)) )
+    if ( unlikely(!mfn_valid(mfn)) )
         return 0;
 
     okay = get_page_and_type(mfn_to_page(mfn), d, PGT_ldt_page);
@@ -2847,8 +2847,8 @@ long do_update_descriptor(u64 pa, u64 desc)
 
     LOCK_BIGLOCK(dom);
 
-    if ( !VALID_MFN(mfn = gmfn_to_mfn(dom, gmfn)) ||
-         (((unsigned int)pa % sizeof(struct desc_struct)) != 0) ||
+    mfn = gmfn_to_mfn(dom, gmfn);
+    if ( (((unsigned int)pa % sizeof(struct desc_struct)) != 0) ||
          !mfn_valid(mfn) ||
          !check_descriptor(&d) )
     {
index 1d199022a9ee06f39db6f8439385f2e4b0602ebe..93d96df4fda57a2c69db35b2b1b373cd8d48885b 100644 (file)
@@ -269,8 +269,6 @@ int check_descriptor(struct desc_struct *d);
 #define gmfn_to_mfn(_d, gpfn)  mfn_x(sh_gfn_to_mfn(_d, gpfn))
 
 #define INVALID_MFN             (~0UL)
-#define VALID_MFN(_mfn)         (!((_mfn) & (1U<<31)))
-
 
 #ifdef MEMORY_GUARD
 void memguard_init(void);
index 0d8b58e6d946f53a5edd700c6d7adf8909b2324b..4b2c3b41f0711664b089ab7d9214f420b286fa3e 100644 (file)
@@ -218,7 +218,7 @@ TYPE_SAFE(unsigned long,mfn)
 static inline int
 valid_mfn(mfn_t m)
 {
-    return VALID_MFN(mfn_x(m));
+    return mfn_valid(mfn_x(m));
 }
 
 static inline mfn_t
@@ -665,7 +665,7 @@ static inline int
 mmio_space(paddr_t gpa)
 {
     unsigned long gfn = gpa >> PAGE_SHIFT;    
-    return !VALID_MFN(mfn_x(sh_gfn_to_mfn_current(gfn)));
+    return !mfn_valid(mfn_x(sh_gfn_to_mfn_current(gfn)));
 }
 
 static inline l1_pgentry_t